761. Handbook of logic and proof techniques for computer science
پدیدآورنده : Krantz, Steven George, 1591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computers,، Electronic data processing
رده :
QA
76
.
K7
762. Handbook of logic and proof techniques for computer science
پدیدآورنده : Krantz, Steven G. )Steven George(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computers,، Electronic data processing
رده :
QA
76
.
K723
2002
763. Handbook on parallel and distributed processing
پدیدآورنده : edited by Jacek Blazewicz [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing -- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
58
E358
2011
764. Hands-on guide to the Red Hat exams
پدیدآورنده : Damian Tommasino
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Linux, Examinations, Study guides,Electronic data processing personnel, Certification,Operating systems (Computers), Examinations, Study guides
رده :
QA
،
76
.
76
،.
O63
,
T6494
،
2011
765. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
766. Hierarchical Scheduling in Parallel and Cluster Systems
پدیدآورنده : by Sivarama Dandamudi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture.,Electronic data processing -- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
58
B975
2003
767. High-Level Synthesis
پدیدآورنده : \ Philippe Coussy, Adam Morawiec, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Electronic digital computers -- Design and construction -- Data processing. ,Computer hardware description languages.,System design -- Data processing. ,کامپیوترهای رقمی -- طرح و ساختمان -- داده‌پردازی ,طراحی سیستم -- داده‌پردازی
رده :
E-Book
,
768. High performance computing : paradigm and infrastructure
پدیدآورنده : edited by Laurence T. Yang, Minyi Guo
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، High performance computing,، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
88
.
H53
769. High performance data mining
پدیدآورنده : / edited by Yike Guo, Robert Grossman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Data mining,Parallel processing (Electronic computers)
رده :
QA76
.
9
.
D343
,
H54
1999
770. High performance data mining
پدیدآورنده :
موضوع : Data mining,Parallel processing (Electronic computers)
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
771. Historische Notizen zur Informatik /
پدیدآورنده : Friedrich L. Bauer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- History.,Computers-- History.,Electronic data processing-- History.,Computer science.,COMPUTERS-- History.,Computers.,Electronic data processing.
رده :
QA76
.
17
.
B38
2009eb
772. How to build a Beowulf: a guide to the implementation and application of PC clusters
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel computers,، Electronic data processing-- Distributed processing,، Beowulf clusters )Computer systems(
رده :
QA
76
.
58
.
H69
1999
773. How to build a Beowulf :a guide to the implementation and application of PC clusters. ]CD[
پدیدآورنده : Thomas L. Sterling ... ]et al.[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Parallel computers,Distributed processing ، Electronic data processing,، Beowulf clusters )Computer systems(
رده :
QA76
.
58
.
H69
1999
774. How to solve it by computer
پدیدآورنده : Dromey, R G
موضوع : ، Mathematics -- Data processing,، Problem solving -- Data processing,، Electronic digital computers -- Programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
775. How to solve it by computer
پدیدآورنده : DROMEY,R G
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MATHEMATICS-DATA PROCESSING , PROBLEM SOLVING-DATA PROCESSING , ELECTRONIC DIGITAL COMPUTERS
رده :
QA
76
.
95
.
D76
776. How to solve it by computer
پدیدآورنده : Dromey, R. G.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Mathematics- Data processing,، Problem solving- Data processing,، Electronic digital computers- Programming
رده :
QA
76
.
95
.
D75
777. How to write a usable user manual
پدیدآورنده : Weiss, Edmond H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing-- Authorship,Handbooks, manuals, etc ، Computers,، Technical writing
رده :
QA
76
.
165
.
W45
1985
778. How to write computer documentation for users
پدیدآورنده : Susan J. Grimm,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Electronic data processing - Authorship,Computers - Handbooks, manuals, etc,Technical writing
رده :
QA
.
G74
76
.
165
1987
779. How to write computer documentation for users
پدیدآورنده : / Susan J. Grimm
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic data processing - Authorship,Computers - Handbooks, manuals, etc,Technical writing
رده :
QA76
.
165
.
G74
1987
780. Human choice and computers : proceedings of the IFIP Conference on Human Choice and Computers, Vienna, April 1-5, 1974
پدیدآورنده : edited by Enid Mumford and Harold Sackman
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computers and civilization
رده :
QA
76
.
I15
1974
